Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Architecting Dependable Systems VI [[electronic resource] /] / edited by Rogério de Lemos, Jean-Charles Fabre, Cristina Gacek, Fabio Gadducci, Maurice H. ter Beek
| Architecting Dependable Systems VI [[electronic resource] /] / edited by Rogério de Lemos, Jean-Charles Fabre, Cristina Gacek, Fabio Gadducci, Maurice H. ter Beek |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XII, 335 p.) |
| Disciplina | 004.22 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer organization Special purpose computers Computer system failures Operating systems (Computers) Software Engineering/Programming and Operating Systems Software Engineering Computer Systems Organization and Communication Networks Special Purpose and Application-Based Systems System Performance and Evaluation Operating Systems |
| ISBN | 3-642-10248-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Dependable Service-Oriented Architectures -- A System of Architectural Patterns for Scalable, Consistent and Highly Available Multi-Tier Service-Oriented Infrastructures -- Towards Self-adaptation for Dependable Service-Oriented Systems -- Architecting Dependable Access Control Systems for Multi-domain Computing Environments -- Soft Constraints for Dependable Service Oriented Architectures -- Robustness Validation in Service-Oriented Architectures -- 2. Fault Tolerance and System Evaluation -- A Self-repair Architecture for Cluster Systems -- Handling Software Faults with Redundancy -- A Uniform Approach to Security and Fault-Tolerance Specification and Analysis -- A Comprehensive Exploration of Challenges in Architecture-Based Reliability Estimation -- 3. Architecting Security -- Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems -- Architecting Security with Paradigm -- Trust-Based and Context-Aware Authentication in a Software Architecture for Context and Proximity-Aware Services -- Compositional Verification of Architectural Refactorings. |
| Record Nr. | UNISA-996465641703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Architecting Dependable Systems VI [[electronic resource] /] / edited by Rogério de Lemos, Jean-Charles Fabre, Cristina Gacek, Fabio Gadducci, Maurice H. ter Beek
| Architecting Dependable Systems VI [[electronic resource] /] / edited by Rogério de Lemos, Jean-Charles Fabre, Cristina Gacek, Fabio Gadducci, Maurice H. ter Beek |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XII, 335 p.) |
| Disciplina | 004.22 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer organization Special purpose computers Computer system failures Operating systems (Computers) Software Engineering/Programming and Operating Systems Software Engineering Computer Systems Organization and Communication Networks Special Purpose and Application-Based Systems System Performance and Evaluation Operating Systems |
| ISBN | 3-642-10248-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Dependable Service-Oriented Architectures -- A System of Architectural Patterns for Scalable, Consistent and Highly Available Multi-Tier Service-Oriented Infrastructures -- Towards Self-adaptation for Dependable Service-Oriented Systems -- Architecting Dependable Access Control Systems for Multi-domain Computing Environments -- Soft Constraints for Dependable Service Oriented Architectures -- Robustness Validation in Service-Oriented Architectures -- 2. Fault Tolerance and System Evaluation -- A Self-repair Architecture for Cluster Systems -- Handling Software Faults with Redundancy -- A Uniform Approach to Security and Fault-Tolerance Specification and Analysis -- A Comprehensive Exploration of Challenges in Architecture-Based Reliability Estimation -- 3. Architecting Security -- Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems -- Architecting Security with Paradigm -- Trust-Based and Context-Aware Authentication in a Software Architecture for Context and Proximity-Aware Services -- Compositional Verification of Architectural Refactorings. |
| Record Nr. | UNINA-9910483069203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Architecting Dependable Systems VII [[electronic resource] /] / edited by Antonio Casimiro, Rogério de Lemos, Cristina Gacek
| Architecting Dependable Systems VII [[electronic resource] /] / edited by Antonio Casimiro, Rogério de Lemos, Cristina Gacek |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XII, 324 p. 101 illus.) |
| Disciplina | 004.2/2 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer programming Computer logic Computers Software Engineering/Programming and Operating Systems Software Engineering Programming Languages, Compilers, Interpreters Programming Techniques Logics and Meanings of Programs Models and Principles |
| ISBN |
1-280-39044-1
9786613568366 3-642-17245-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Mobile and Ubiquitous Systems -- Self-healing for Pervasive Computing Systems -- Self Organization and Self Maintenance of Mobile Ad Hoc Networks through Dynamic Topology Control -- Data Backup for Mobile Nodes: A Cooperative Middleware and an Experimentation Platform -- 2. Architecting Systems -- Identification of Security Requirements in Systems of Systems by Functional Security Analysis -- Implementing Reliability: The Interaction of Requirements, Tactics and Architecture Patterns -- A Framework for Flexible and Dependable Service-Oriented Embedded Systems -- Architecting Robustness and Timeliness in a New Generation of Aerospace Systems -- 3. Fault Management -- Architecting Dependable Systems with Proactive Fault Management -- ASDF: An Automated, Online Framework for Diagnosing Performance Problems -- 4. Experience and Vision -- Is Collaborative QoS the Solution to the SOA Dependability Dilemma? -- Software Assumptions Failure Tolerance: Role, Strategies, and Visions -- Architecting Dependable Systems Using Reflective Computing: Lessons Learnt and Some Challenges -- Architecting and Validating Dependable Systems: Experiences and Visions. |
| Record Nr. | UNISA-996465696703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Architecting Dependable Systems VII [[electronic resource] /] / edited by Antonio Casimiro, Rogério de Lemos, Cristina Gacek
| Architecting Dependable Systems VII [[electronic resource] /] / edited by Antonio Casimiro, Rogério de Lemos, Cristina Gacek |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XII, 324 p. 101 illus.) |
| Disciplina | 004.2/2 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer programming Computer logic Computers Software Engineering/Programming and Operating Systems Software Engineering Programming Languages, Compilers, Interpreters Programming Techniques Logics and Meanings of Programs Models and Principles |
| ISBN |
1-280-39044-1
9786613568366 3-642-17245-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Mobile and Ubiquitous Systems -- Self-healing for Pervasive Computing Systems -- Self Organization and Self Maintenance of Mobile Ad Hoc Networks through Dynamic Topology Control -- Data Backup for Mobile Nodes: A Cooperative Middleware and an Experimentation Platform -- 2. Architecting Systems -- Identification of Security Requirements in Systems of Systems by Functional Security Analysis -- Implementing Reliability: The Interaction of Requirements, Tactics and Architecture Patterns -- A Framework for Flexible and Dependable Service-Oriented Embedded Systems -- Architecting Robustness and Timeliness in a New Generation of Aerospace Systems -- 3. Fault Management -- Architecting Dependable Systems with Proactive Fault Management -- ASDF: An Automated, Online Framework for Diagnosing Performance Problems -- 4. Experience and Vision -- Is Collaborative QoS the Solution to the SOA Dependability Dilemma? -- Software Assumptions Failure Tolerance: Role, Strategies, and Visions -- Architecting Dependable Systems Using Reflective Computing: Lessons Learnt and Some Challenges -- Architecting and Validating Dependable Systems: Experiences and Visions. |
| Record Nr. | UNINA-9910484524003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Assurances for Self-Adaptive Systems [[electronic resource] ] : Principles, Models, and Techniques / / edited by Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Antonia Lopes
| Assurances for Self-Adaptive Systems [[electronic resource] ] : Principles, Models, and Techniques / / edited by Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Antonia Lopes |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (X, 341 p. 94 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Computer communication systems Operating systems (Computers) Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Computer Communication Networks Operating Systems |
| ISBN | 3-642-36248-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Model Checking Adaptive Software with Featured Transition Systems -- Probabilistic Verification at Runtime for Self-Adaptive Systems -- Verification of a Self-configuration Protocol for Distributed Applications in the Cloud -- Formal Modeling and Verification of Self-* Systems Based on Observer/Controller-Architectures -- Timed Hazard Analysis of Self-healing Systems -- Model-Driven Development of Safe Self-optimizing Mechatronic Systems with MechatronicUML -- Model-Based Reasoning for Self-Adaptive Systems – Theory and Practice -- Achieving Self-adaptation through Dynamic Group Management -- Accurate Proactive Adaptation of Service-Oriented Systems -- Failure Avoidance in Configurable Systems through Feature Locality -- Emerging Techniques for the Engineering of Self Adaptive High-Integrity Software -- Assurance of Self-adaptive Controllers for the Cloud. |
| Record Nr. | UNISA-996466268003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Assurances for Self-Adaptive Systems [[electronic resource] ] : Principles, Models, and Techniques / / edited by Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Antonia Lopes
| Assurances for Self-Adaptive Systems [[electronic resource] ] : Principles, Models, and Techniques / / edited by Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Antonia Lopes |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (X, 341 p. 94 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Computer communication systems Operating systems (Computers) Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Computer Communication Networks Operating Systems |
| ISBN | 3-642-36248-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Model Checking Adaptive Software with Featured Transition Systems -- Probabilistic Verification at Runtime for Self-Adaptive Systems -- Verification of a Self-configuration Protocol for Distributed Applications in the Cloud -- Formal Modeling and Verification of Self-* Systems Based on Observer/Controller-Architectures -- Timed Hazard Analysis of Self-healing Systems -- Model-Driven Development of Safe Self-optimizing Mechatronic Systems with MechatronicUML -- Model-Based Reasoning for Self-Adaptive Systems – Theory and Practice -- Achieving Self-adaptation through Dynamic Group Management -- Accurate Proactive Adaptation of Service-Oriented Systems -- Failure Avoidance in Configurable Systems through Feature Locality -- Emerging Techniques for the Engineering of Self Adaptive High-Integrity Software -- Assurance of Self-adaptive Controllers for the Cloud. |
| Record Nr. | UNINA-9910739463303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Self-Organizing Architectures [[electronic resource] ] : First International Workshop, SOAR 2009, Cambridge, UK, September 14, 2009, Revised Selected and Invited Papers / / edited by Danny Weyns, Sam Malek, Rogério de Lemos, Jesper Andersson
| Self-Organizing Architectures [[electronic resource] ] : First International Workshop, SOAR 2009, Cambridge, UK, September 14, 2009, Revised Selected and Invited Papers / / edited by Danny Weyns, Sam Malek, Rogério de Lemos, Jesper Andersson |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (X, 301 p. 110 illus.) |
| Disciplina | 004.2/2 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer communication systems Computer programming Artificial intelligence Application software Software Engineering/Programming and Operating Systems Computer Communication Networks Programming Techniques Software Engineering Artificial Intelligence Information Systems Applications (incl. Internet) |
| ISBN |
1-280-38797-1
9786613565891 3-642-14412-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Self-adaptive Approaches -- Elements of Self-adaptive Systems – A Decentralized Architectural Perspective -- Improving Architecture-Based Self-adaptation Using Preemption -- Weaving the Fabric of the Control Loop through Aspects -- Self-organizing Approaches -- Self-organisation for Survival in Complex Computer Architectures -- Self-organising Sensors for Wide Area Surveillance Using the Max-sum Algorithm -- Multi-policy Optimization in Self-organizing Systems -- A Bio-inspired Algorithm for Energy Optimization in a Self-organizing Data Center -- Towards a Pervasive Infrastructure for Chemical-Inspired Self-organising Services -- Hybrid Approaches -- Self-adaptive Architectures for Autonomic Computational Science -- Modelling the Asynchronous Dynamic Evolution of Architectural Types -- A Self-organizing Architecture for Traffic Management -- On the Modeling, Refinement and Integration of Decentralized Agent Coordination -- A Self-organizing Architecture for Pervasive Ecosystems. |
| Record Nr. | UNISA-996465801703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Self-Organizing Architectures [[electronic resource] ] : First International Workshop, SOAR 2009, Cambridge, UK, September 14, 2009, Revised Selected and Invited Papers / / edited by Danny Weyns, Sam Malek, Rogério de Lemos, Jesper Andersson
| Self-Organizing Architectures [[electronic resource] ] : First International Workshop, SOAR 2009, Cambridge, UK, September 14, 2009, Revised Selected and Invited Papers / / edited by Danny Weyns, Sam Malek, Rogério de Lemos, Jesper Andersson |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (X, 301 p. 110 illus.) |
| Disciplina | 004.2/2 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer communication systems Computer programming Artificial intelligence Application software Software Engineering/Programming and Operating Systems Computer Communication Networks Programming Techniques Software Engineering Artificial Intelligence Information Systems Applications (incl. Internet) |
| ISBN |
1-280-38797-1
9786613565891 3-642-14412-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Self-adaptive Approaches -- Elements of Self-adaptive Systems – A Decentralized Architectural Perspective -- Improving Architecture-Based Self-adaptation Using Preemption -- Weaving the Fabric of the Control Loop through Aspects -- Self-organizing Approaches -- Self-organisation for Survival in Complex Computer Architectures -- Self-organising Sensors for Wide Area Surveillance Using the Max-sum Algorithm -- Multi-policy Optimization in Self-organizing Systems -- A Bio-inspired Algorithm for Energy Optimization in a Self-organizing Data Center -- Towards a Pervasive Infrastructure for Chemical-Inspired Self-organising Services -- Hybrid Approaches -- Self-adaptive Architectures for Autonomic Computational Science -- Modelling the Asynchronous Dynamic Evolution of Architectural Types -- A Self-organizing Architecture for Traffic Management -- On the Modeling, Refinement and Integration of Decentralized Agent Coordination -- A Self-organizing Architecture for Pervasive Ecosystems. |
| Record Nr. | UNINA-9910483505403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software Architecture [[electronic resource] ] : 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings / / edited by Antónia Lopes, Rogério de Lemos
| Software Architecture [[electronic resource] ] : 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings / / edited by Antónia Lopes, Rogério de Lemos |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XII, 217 p. 50 illus.) |
| Disciplina | 005 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer organization Programming languages (Electronic computers) Computers Software Engineering Computer Systems Organization and Communication Networks Programming Languages, Compilers, Interpreters Computing Milieux |
| ISBN | 3-319-65831-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Software Architecture Analysis and Verification -- Software Architecture Evolution -- Automatic Generation -- Architectural Decisions -- Software Architecture Practice. |
| Record Nr. | UNISA-996466169003316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software Architecture [[electronic resource] ] : 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings / / edited by Antónia Lopes, Rogério de Lemos
| Software Architecture [[electronic resource] ] : 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings / / edited by Antónia Lopes, Rogério de Lemos |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XII, 217 p. 50 illus.) |
| Disciplina | 005 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer organization Programming languages (Electronic computers) Computers Software Engineering Computer Systems Organization and Communication Networks Programming Languages, Compilers, Interpreters Computing Milieux |
| ISBN | 3-319-65831-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Software Architecture Analysis and Verification -- Software Architecture Evolution -- Automatic Generation -- Architectural Decisions -- Software Architecture Practice. |
| Record Nr. | UNINA-9910483311803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
